3

An algorithm to compute circumscription

Year:
1989
Language:
english
File:
PDF, 1.03 MB
english, 1989
4

Autoepistemic logic of knowledge and beliefs

Year:
1997
Language:
english
File:
PDF, 2.78 MB
english, 1997
5

Three-valued nonmonotonic formalisms and semantics of logic programs

Year:
1991
Language:
english
File:
PDF, 1.67 MB
english, 1991
7

Computation of the semantics of autoepistemic belief theories

Year:
1999
Language:
english
File:
PDF, 160 KB
english, 1999
8

Super logic programs

Year:
2004
Language:
english
File:
PDF, 290 KB
english, 2004
9

Some Extensions of the Tietze-Urysohn Theorem

Year:
1977
Language:
english
File:
PDF, 918 KB
english, 1977
13

There is no compactification theorem for the small inductive dimension

Year:
1982
Language:
english
File:
PDF, 693 KB
english, 1982
14

Normality of product spaces and Morita's conjectures

Year:
1986
Language:
english
File:
PDF, 908 KB
english, 1986
15

Guest editor's introduction

Year:
1993
Language:
english
File:
PDF, 305 KB
english, 1993
20

On the declarative and procedural semantics of logic programs

Year:
1989
Language:
english
File:
PDF, 2.05 MB
english, 1989
21

Well-founded and stationary models of logic programs

Year:
1994
Language:
english
File:
PDF, 2.91 MB
english, 1994
22

Static semantics for normal and disjunctive logic programs

Year:
1995
Language:
english
File:
PDF, 1.80 MB
english, 1995
28

Stable semantics for disjunctive programs

Year:
1991
Language:
english
File:
PDF, 1.18 MB
english, 1991
35

The Reactions of Lupin Roots on the Presence of Lead in the Medium

Year:
1985
Language:
english
File:
PDF, 5.95 MB
english, 1985
36

On the Dimension of Product Spaces and an Example of M. Wage

Year:
1979
Language:
english
File:
PDF, 220 KB
english, 1979
41

On the Notion of $n$-Cardinality

Year:
1978
Language:
english
File:
PDF, 199 KB
english, 1978